(0 17 15)(1 18 3)(2 9 5)(4 20 7)(6 11 8)(10 16 14)(12 19 13)
ALLOWS (11/8)-SEQUENCE
1: (4 7 20)
(0 17 15)(1 18 3)(2 9 5)(4 7 20)(6 11 8)(10 16 14)(12 19 13)
2: (2 9 5)
(0 17 15)(1 18 3)(2)(4 7 20)(5)(6 11 8)(9)(10 16 14)(12 19 13)
3: (4 7 20)
(0 17 15)(1 18 3)(2)(4)(5)(6 11 8)(7)(9)(10 16 14)(12 19 13)(20)
4: (6 11 8)
(0 17 15)(1 18 3)(2)(4)(5)(6)(7)(8)(9)(10 16 14)(11)(12 19 13)(20)